Section: Dissemination

Teaching - Supervision - Juries

Supervision

• PhD in progress: Vagelis Bebelis, “Boolean Parametric Data Flow. Modeling - Analyses -Implementation”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Dmitry Burlyaev, “Specification and synthesis of fault-tolerant circuits”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Yoann Geoffroy, “Towards a general causality analysis framework”, Grenoble University, since 10/2013, advised by Gregor Goessler.

Juries

• Alain Girault was president of the PhD defense jury of Pranav Tendulkar (University Grenoble Alpes).

• Alain Girault was president of the PhD defense jury of Christian von Essen (University Grenoble Alpes).

• Alain Girault was referee for the computer science PhD thesis of Guillaume Aupy (ENS-Lyon).

• Jean-Bernard Stefani was president of the jury for Bertrand Jeannet's HDR defense (University Grenoble Alpes).

• Jean-Bernard Stefani was rapporteur for Helene Martorell's PhD defense (Toulouse University)